body {
    font-size: 16px;
    font-family:Dejavu Serif, serif;
}

pre {
    font-family:Ubuntu Mono, fixed;
    line-height: 1.2em;
}

h1, h2, h3 {
    font-family:Dejavu Sans, sans-serif;
}

div.left {
    left: 0; width: 280px; position: absolute; 
    margin-left: 1em;
}

.left li {
    list-style-type: none;
    text-indent: 0;
}

.left ul {
    padding: 0
}


.left li.current {
    background-color: #eee;
    border-radius: 0.5em;
}

.left li a {
    display: block;
    padding: 0.5em
}

div.main {
    margin-left: 300px
}

.logo {
    width: 300px;
    text-align: center;
}

td, th {vertical-align: top}

.exampleBody {
    margin: 1em 0;
}

.exampleBody div.links {
    text-align: right;
    margin-right: 1em;
}

.exampleBody div.links .resetLink {
    margin-left: 1em
}

.exampleBody div.body {
    border: 0.5em solid #eee;
    border-radius: 1em;
    padding: 1em;
    /*margin:  */
}

pre {
    border-radius: 0.5em;
    padding: 0.5em;
}

h1 { background-color: #eee; color: #777; padding: 0.5em; border-radius: 0.5em }

.footer {
    clear: both; text-align: center; margin: 1em 0;
}